255 search results - page 26 / 51 » Flexible incremental development by integrating specificatio... |
172
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
154
click to vote
ASPDAC
2012
ACM
14 years 18 hour ago
2012
ACM
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...
147
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
SCIRun is a general purpose problem solving environment that seeks to integrate the steps of preparing, executing, and visualizing simulations of physical and biological systems. ...
145
click to vote
ACISICIS
2008
IEEE
15 years 10 months ago
2008
IEEE
The web services technology provides an approach for developing distributed applications by using simple and well defined interfaces. Due to the flexibility of this architecture, ...
132
click to vote
NOMS
2002
IEEE
15 years 9 months ago
2002
IEEE
The management of policies in large-scale systems is complex because of the potentially large number of policies and administrators, as well as the diverse types of information th...