functional articles, videos, photos and opinions

Sort by Relevance | Date | Popularity
Leveraging Reconfigurability to Raise Productivity in FPGA <endeca_term>Functional</endeca_term> Debug

Leveraging Reconfigurability to Raise Productivity in FPGA Functional Debug

The authors propose new hardware and software techniques for FPGA functional debug that leverage the inherent re-configurability of the FPGA fabric to... Read more

9 December, 2011
Comparitive Study of Probabilistic Neural Network and Radial Basis <endeca_term>Functional</endeca_term> Link Neural Network in Time Series Data Mining

Comparitive Study of Probabilistic Neural Network and Radial Basis Functional Link Neural Network in Time Series Data Mining

This paper proposes a comparative analysis between Radial Basis Functional Link Network (RBFLN) - a combination of radial basis functions with the random... Read more

26 November, 2011
<endeca_term>Functional</endeca_term> Verification of Class Invariants in CleanJava

Functional Verification of Class Invariants in CleanJava

In Cleanroom-style functional program verification, a program is viewed as a mathematical function from one... Read more

1 November, 2011
Non-<endeca_term>Functional</endeca_term> Requirements for Business Processes in the Context of Service-Oriented Architectures

Non-Functional Requirements for Business Processes in the Context of Service-Oriented Architectures

The authors present novel concepts to formalize and apply Non-Functional Requirements (NFRs) for business processes in the context of Service-Oriented Architectures... Read more

19 October, 2011
Migrating <endeca_term>Functional</endeca_term> Requirements in SSUCD Use Cases to a More Formal Representation

Migrating Functional Requirements in SSUCD Use Cases to a More Formal Representation

Use case modeling is a popular technique to elicit and model functional requirements of a software development project. In a use case driven development... Read more

19 October, 2011
UML-Based Modeling of Non-<endeca_term>Functional</endeca_term> Requirements in Telecommunication Systems

UML-Based Modeling of Non-Functional Requirements in Telecommunication Systems

...time embedded systems relies heavily on the successful satisfaction of their non-functional requirements. Model-driven engineering is a promising approach for coping with the... Read more

19 October, 2011
Implementing Equational Constraints in a <endeca_term>Functional</endeca_term> Language

Implementing Equational Constraints in a Functional Language

KiCS2 is a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs... Read more

29 August, 2011
Purely <endeca_term>Functional</endeca_term> Lazy Nondeterministic Programming

Purely Functional Lazy Nondeterministic Programming

Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining... Read more

16 August, 2011
Do Values Grow on Trees? Expression Integrity in <endeca_term>Functional</endeca_term> Programming

Do Values Grow on Trees? Expression Integrity in Functional Programming

The authors posit that functional programmers employ a notion called expression integrity to understand programs. They attempt... Read more

9 August, 2011
The CleanJava Language for <endeca_term>Functional</endeca_term> Program Verification

The CleanJava Language for Functional Program Verification

Unlike Hoare-style program verification, functional program verification supports forward reasoning by viewing a program as a mathematical... Read more

1 August, 2011
A Tutorial on <endeca_term>Functional</endeca_term> Program Verification

A Tutorial on Functional Program Verification

This paper gives a quick tutorial introduction to functional program verification. In functional program verification, a program is viewed as a... Read more

1 August, 2011
Contracts and Specifications for <endeca_term>Functional</endeca_term> Logic Programming

Contracts and Specifications for Functional Logic Programming

The expressive power of functional logic languages supports high-level specifications as well as efficient implementations of... Read more

28 May, 2011
Implementing a Non-Strict Purely <endeca_term>Functional</endeca_term> Language in JavaScript

Implementing a Non-Strict Purely Functional Language in JavaScript

This paper describes an implementation of a non-strict purely functional language in JavaScript. This particular implementation is based on the translation of... Read more

18 April, 2011
<endeca_term>Functional</endeca_term> Encryption: Definitions and Challenges

Functional Encryption: Definitions and Challenges

The authors initiate the formal study of functional encryption by giving precise definitions of the concept and its security. Roughly... Read more

3 January, 2011
Defining and Mining <endeca_term>Functional</endeca_term> Dependencies in Probabilistic Databases

Defining and Mining Functional Dependencies in Probabilistic Databases

Functional dependencies - traditional, approximate and conditional are of critical importance in relational databases... Read more

13 December, 2010

Get ZDNet UK's daily newsletter

Enter your email address to sign up

ZDNet UK Live

BrownieBoy

"cites" even. Ouch!

4 hours ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
Horace Ontalhold

...... and PDP11s too

4 hours ago by Horace Ontalhold on Fusion-io lays minefield with a billion IOPS
BrownieBoy

I had a quick skim through the PDF. It seems to be that many of these so-called cost savings would be down to a hardware refresh. Although...

6 hours ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
bobandroid

496,999 BT Fon Hotspots lovingly situated in your next door neighbours garden, no matter how you dress that up its still a pup... Not where I need...

7 hours ago by bobandroid on London Olympics: BT needs 25,000 more Wi-Fi hotspots
apexwm

Jack : I was hoping you could provide us a summary since you are familiar with this report. I am not yet sure how much of my time I'd like to...

9 hours ago by apexwm on Using Windows XP is a waste of money, says IDC
Smilig Eddie

2 – 4 more weeks of waiting: how many buyers are going to decide instead to see what the iPhone 5 offers? Consumer trust in the brand has also...

9 hours ago by Smilig Eddie on Samsung Galaxy 'S3' delayed by special paint
SRist

So it looks like this was a complete red herring - Adobe are allowing upgrades from Photoshop CS3, CS4 and CS5 at the same price. When did this...

10 hours ago by SRist on Photoshop users attack Adobe upgrade policy change
Jack Schofield

@apexwm Have you considered either (a) reading the story above or (b) reading the PDF? There are answers in both.

12 hours ago by Jack Schofield on Using Windows XP is a waste of money, says IDC
apexwm

I would love to hear why Microsoft believes that "upgrading from Windows XP to Windows 7 pays for itself in a year, in increased productivity and...

13 hours ago by apexwm on Using Windows XP is a waste of money, says IDC
debsmk

I have just changed mine to white they said 3 to 5 days

13 hours ago by debsmk on Samsung Galaxy 'S3' delayed by special paint
Atangana

I would like a job for me and do good to their tackiness vellent my help I will do my best to help you mercie for all

15 hours ago by Atangana on UK's 15-year-old World Excel champion offered £100k job
BrownieBoy

Well done to IDC for producing a report that says using XP is a waste of money. Only 11 years too late with it is all....

15 hours ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
Jack Schofield

@Burn-IT ...which doesn't mean it isn't true ;-) I'll be interested if you can find any properly-researched, independent data from any of the...

17 hours ago by Jack Schofield on Using Windows XP is a waste of money, says IDC
Burn-IT

As said, sponsored by Microsoft........

17 hours ago by Burn-IT on Using Windows XP is a waste of money, says IDC
mrbigdong

@620W, I mine 1 BTC/daily for cost of 1.7eur, they naysayers regurgitate the rubbish they read as usual

17 hours ago by mrbigdong on A minor Bitcoin miner injury?
Mike Denton

If the link to the next section existed that would be awesome.... Guess I have to ask uncle google where it is

21 hours ago by Mike Denton via Facebook on Security on the farm: Accounts and permissions
minzhu

Don't blame CEO, they want RIM win. RIM has strange culture and self distruct political environment. In RIM if a new hired person figure out...

23 hours ago by minzhu on RIM CEO: Time to squash BlackBerry myths
Thomas Gellhaus

I've been very pleased with Mageia 2. My review went up on Sunday. My only issue is that my particular wireless printer hasn't been detected on...

1 day ago by Thomas Gellhaus via Facebook on Scorecard - Linux Mint 13 and Mageia 2
knapper

That we have :-) Retailers don't buy stuff to lie around in warehouses, particularly with fast moving technology products. If they didn't think...

1 day ago by knapper on Windows Phone, Android take bite out of BlackBerry
JohneKerr

I think that we have been here before, shipments are not equal to sales. Correct?

1 day ago by JohneKerr on Windows Phone, Android take bite out of BlackBerry