1154 search results - page 78 / 231 » Mathematizing C concurrency |
109
click to vote
USENIX
2003
15 years 4 months ago
2003
We present the design and implementation of CGD, the CryptoGraphic Disk driver. CGD is a pseudo-device driver that sits below the buffer cache, and provides an encrypted view of a...
NAACL
1994
15 years 4 months ago
1994
Development has begun on a semantic evaluation (SemEval) methodology and infrastructure for the ARPA Spoken Language Program. SemEval is an attempt to define a task-independent te...
143
click to vote
PDPTA
1996
15 years 4 months ago
1996
This paper presents pTask-- a system that allows users to automatically exploit dynamic task-level parallelism in sequential array-based C programs. The system employs compiler an...
102
click to vote
CERA
2005
15 years 2 months ago
2005
In order to accurately cost the new product manufacture, and to assess a `what if' scenario in a rapid manner, requires an information system which can integrate the process ...
118
click to vote
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
The design of any application on a configurable System-on-a-Chip (SoC) like Atmel's FPSLIC is subject to a lot of constraints stemming from requirements of the application an...