878 search results - page 81 / 176 » A systematic approach to software peripherals for embedded s... |
176
click to vote
ERSHOV
1993
Springer
15 years 10 months ago
1993
Springer
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
172
click to vote
ICRE
1998
IEEE
15 years 10 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
184
click to vote
ICSE
2007
IEEE-ACM
16 years 16 days ago
2007
IEEE-ACM
We present the tool TAXI which implements the XMLbased Partition Testing approach for the automated generation of XML Instances conforming to a given XML Schema. In addition it pr...
143
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
Reducing power consumption is critical in many system designs. Dynamic power management is an effective approach to decrease power without significantly degrading performance. Pow...
158
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
Partitioning an embedded system application among a microprocessor and custom hardware has been shown to improve the performance, power or energy of numerous examples. The advent ...