4890 search results - page 489 / 978 » From system specifications to component behavioral models |
144
click to vote
LCPC
1993
Springer
15 years 11 months ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...
197
click to vote
WSC
2008
15 years 9 months ago
2008
Most discrete event simulation frameworks are able to output simulation runs as a trace. The Network Simulator 2 (NS2) is a prominent example that does so to decouple generation o...
206
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
218
click to vote
IISWC
2006
IEEE
16 years 1 months ago
2006
IEEE
— As CMPs are emerging as the dominant architecture for a wide range of platforms (from embedded systems and game consoles, to PCs, and to servers) the need to manage on-chip res...
191
click to vote
TSMC
2010
15 years 1 months ago
2010
In Smart Spaces (SSs), the capability of learning from experience is fundamental for autonomous adaptation to environmental changes and for proactive interaction with users. New re...