1837 search results - page 21 / 368 » Abstraction and the C Machine Model |
124
click to vote
WOTUG
2007
15 years 5 months ago
2007
Abstract. The advent of mass-market multicore processors provides exciting new opportunities for parallelism on the desktop. The original C++CSP – a library providing concurrency...
142
click to vote
ENTCS
2006
15 years 4 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
113
click to vote
ISVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
141
Voted
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
141
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...