1446 search results - page 242 / 290 » Hardware Software Co-Design Using Functional Languages |
110
click to vote
STTT
1998
15 years 2 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
115
click to vote
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
125
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Courseware systems are often based on an assembly of different components, addressing the different needs of storage and delivery functionality. The Learning Technology Standard A...
127
click to vote
EDOC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...