667 search results - page 70 / 134 » An Embedded Systems Programming Environment for C |
TOCS
2008
13 years 8 months ago
2008
Component-based software structuring principles are now commonly and successfully applied at the application level; but componentisation is far less established when it comes to b...
TPHOL
1999
IEEE
14 years 1 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
RTAS
1999
IEEE
14 years 1 months ago
1999
IEEE
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
SENSYS
2009
ACM
14 years 3 months ago
2009
ACM
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...
ICIAP
1995
ACM
14 years 15 days ago
1995
ACM
This work describes how the use of object-oriented technology can help to separate the implementation of algorithms in digital image processing systems from the coding of “non-es...