4258 search results - page 571 / 852 » Languages and Interactive Software Development |
128
click to vote
CODES
1997
IEEE
15 years 8 months ago
1997
IEEE
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...
120
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
148
click to vote
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
143
click to vote
EUROMICRO
2006
IEEE
15 years 8 months ago
2006
IEEE
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
134
click to vote
AAAI
2008
15 years 6 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...