7366 search results - page 1264 / 1474 » Development of the Information Systems Implementation Resear... |
125
click to vote
SENSYS
2006
ACM
15 years 11 months ago
2006
ACM
The resolution at which a sensor network collects data is a crucial parameter of performance since it governs the range of applications that are feasible to be developed using tha...
170
click to vote
DAGSTUHL
1996
15 years 6 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
269
Voted
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
148
Voted
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
141
Voted
FCCM
2000
IEEE
15 years 9 months ago
2000
IEEE
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...