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»
15 years 7 months 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
15 years 9 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
16 years 3 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
126
Voted
SAINT
2003
IEEE
15 years 8 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...
164
Voted
FCCM
2008
IEEE
212views VLSI» more  FCCM 2008»
15 years 9 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, ...