281 search results - page 38 / 57 » Comparing operational models of name-passing process calculi |
141
click to vote
ADBIS
2006
Springer
15 years 12 months ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
189
Voted
ASYNC
1997
IEEE
15 years 9 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
208
click to vote
JTRES
2009
ACM
16 years 15 days ago
2009
ACM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...
184
click to vote
IWDW
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Many coded digital watermarking systems development requires first the selection of a (uncoded) modulation technique to be part of a coded architecture. Therefore, perfo...
157
click to vote
ICMCS
1994
IEEE
15 years 10 months ago
1994
IEEE
Continuous media playback suffers when a station's operating system offers insufficient 1/0 throughput. Conventional 1/0 system structures support a memory-oriented read and ...