5407 search results - page 834 / 1082 » The Software Engineering Global Model |
214
click to vote
TACS
1994
Springer
15 years 11 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
208
click to vote
CODES
2004
IEEE
15 years 11 months ago
2004
IEEE
As a result of improvements in process technology, more and more components are being integrated into a single System-on-Chip (SoC) design. Communication between these components ...
263
click to vote
AVI
2004
15 years 8 months ago
2004
Understanding complex 3D virtual models can be difficult, especially when the model has interior components not initially visible and ancillary text. We describe new techniques fo...
194
click to vote
WCRE
2006
IEEE
16 years 1 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
173
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
PPP is a Web-based simulation and synthesis environment for low-power design. In this paper we describe the gate-level simulation engine of PPP, that achieves accuracy always with...