416 search results - page 13 / 84 » Software Code Generation for the RVC-CAL Language |
128
click to vote
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
103
Voted
UML
2000
Springer
15 years 3 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
ICSE
2009
IEEE-ACM
16 years 14 days ago
2009
IEEE-ACM
ng Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial In...
EMSOFT
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
93
Voted
VLSID
2002
IEEE
16 years 1 days ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...