1180 search results - page 166 / 236 » Total Functional Software Engineering - Overview Paper |
CODES
2001
IEEE
15 years 2 months ago
2001
IEEE
Comprehensive exploration of the design space parameters at the system-level is a crucial task to evaluate architectural tradeoffs accounting for both energy and performance const...
FASE
2000
Springer
15 years 2 months ago
2000
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
FOSSACS
2010
Springer
15 years 2 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
120
click to vote
CODES
2008
IEEE
15 years 25 days ago
2008
IEEE
It is well recognized that novel computational models, devices and technologies are needed in order to sustain the remarkable advancement of CMOS-based VLSI circuits and systems. ...
106
click to vote
SOCO
2008
Springer
14 years 11 months ago
2008
Springer
Self-adaptive component-based architectures provide methods and mechanisms to support the dynamic adaptation of their structure under evolving execution context. Dynamic adaptation...