799 search results - page 115 / 160 » Generating Reliable Code from Hybrid-Systems Models |
RTCSA
2008
IEEE
14 years 4 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
STEP
2003
IEEE
14 years 3 months ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
Presentation
Transit services are currently facing several challenges in the United States and around the
world. For many reasons, among which the fluctuations in gas prices and the state of t...
DAC
2012
ACM
12 years 9 days ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The persistent programming systems of the 1980s offered a programming model that integrated computation and long-term storage. In these systems, reliable applications could be eng...