1446 search results - page 233 / 290 » Hardware Software Co-Design Using Functional Languages |
121
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
103
click to vote
IWMM
2007
Springer
15 years 8 months ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
155
Voted
MEMOCODE
2008
IEEE
15 years 8 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
116
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
114
Voted
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Reconfigurable Systems-on-Chip (SoCs) on the market consist of full-fledged processors and large Field-Programmable Gate-Arrays (FPGAs). The latter can be used to implement the sy...