5451 search results - page 628 / 1091 » Typed Operational Semantics |
221
click to vote
HICSS
2012
IEEE
14 years 2 months ago
2012
IEEE
—Citizen science is a form of research collaboration involving members of the public in scientific research projects to address real-world problems. Often organized as a virtual...
311
click to vote
MICRO
2012
IEEE
13 years 9 months ago
2012
IEEE
This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. Our algorithm operates on a program dependence graph i...
195
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Memory-related activity is one of the major sources of energy consumption in embedded systems. Many types of memories used in embedded systems allow multiple operating modes (e.g....
205
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Molecular Computation (MC) is massively parallel computation where data is stored and processed within objects of molecular size. Biomolecular Computation (BMC) is MC using biotec...
210
click to vote
SWAT
1992
Springer
15 years 10 months ago
1992
Springer
In PODS'91, Nurmi and Soisalon-Soininen presented a new type of binary search tree for databases, which they call a chromatic tree. The aim is to improve runtime performance ...