201 search results - page 18 / 41 » Design, Implementation and Deployment of State Machines Usin... |
139
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
106
Voted
ICECCS
1998
IEEE
15 years 7 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
114
Voted
ISORC
2009
IEEE
15 years 9 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
146
click to vote
SIGMOBILE
2010
14 years 9 months ago
2010
As new approaches toward clean-slate network transport continue to emerge in the wireless domain and beyond, so grows the difficulty of conducting reproducible, head-to-head evalu...
109
click to vote
CSFW
2008
IEEE
15 years 9 months ago
2008
IEEE
Composition theorems in simulation-based approaches allow to build complex protocols from sub-protocols in a modular way. However, as first pointed out and studied by Canetti and ...