Sciweavers

479 search results - page 58 / 96
» Partitioning of Functional Models of Synchronous Digital Sys...
Sort
View
FPGA
2004
ACM
140views FPGA» more  FPGA 2004»
14 years 6 days ago
Using reconfigurability to achieve real-time profiling for hardware/software codesign
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...
Lesley Shannon, Paul Chow
APLAS
2005
ACM
14 years 2 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
ICFP
2005
ACM
14 years 8 months ago
AtomCaml: first-class atomicity via rollback
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
Michael F. Ringenburg, Dan Grossman
SAINT
2003
IEEE
14 years 1 months ago
Virtual Collaboration Spaces: The EVE Community
An Educational Virtual Environment (EVE) is an instance of a Collaborative Virtual Environment (CVE), which focalises in providing collaborative, as well as educational, functiona...
Christos Bouras, Eri Giannaka, Thrasyvoulos Tsiats...
FCCM
2008
IEEE
212views VLSI» more  FCCM 2008»
14 years 3 months ago
Map-reduce as a Programming Model for Custom Computing Machines
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
Jackson H. C. Yeung, C. C. Tsang, Kuen Hung Tsoi, ...