7397 search results - page 1422 / 1480 » Processes Are Data: A Programming Model for Distributed Appl... |
172
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Medium- to large-scale expression profiling using quantitative polymerase chain reaction (qPCR) assays are becoming increasingly important in genomics research. A majo...
167
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
Complex database queries require the use of memory-intensive operators like sort and hashjoin. Those operators need memory, also referred to as SQL memory, to process their input ...
133
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
131
click to vote
MICRO
2003
IEEE
15 years 8 months ago
2003
IEEE
Silicon technology will continue to provide an exponential increase in the availability of raw transistors. Effectively translating this resource into application performance, how...
157
click to vote
ZUM
1997
Springer
15 years 7 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...