2007 search results - page 186 / 402 » Using general-purpose programming languages for FPGA design |
198
click to vote
POPL
2010
ACM
15 years 8 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
181
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
Modern network processors support high levels of parallelism in packet processing by supporting multiple threads that execute on a micro-engine. Threads switch context upon encoun...
157
click to vote
MIDDLEWARE
2001
Springer
15 years 10 months ago
2001
Springer
Although it has long been realised that ACID transactions by themselves are not adequate for structuring long-lived applications and much research work has been done on developing...
187
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Three-dimensional (3-D) visualization of multimodality neuroimaging data provides a powerful technique for viewing the relationship between structure and function. A n...
166
click to vote
CD
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...