3146 search results - page 356 / 630 » The use of compiler optimizations for embedded systems softw... |
168
Voted
VSTTE
2005
Springer
16 years 3 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
207
click to vote
IUI
2006
ACM
16 years 18 days ago
2006
ACM
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
174
click to vote
RTCSA
2005
IEEE
16 years 6 days ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
188
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
213
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...