3911 search results - page 662 / 783 » Using Operational Architecture to Model Embedded Software |
164
click to vote
EUC
2005
Springer
15 years 10 months ago
2005
Springer
With advanced technologies, computer devices have become smaller and powerful. As a result, many people enjoy ubiquitous learning using mobile devices such as Pocket PCs. Pocket PC...
242
click to vote
DAC
1994
ACM
15 years 9 months ago
1994
ACM
Today's high-performance single-chip CMOS microprocessors are the most complex and challenging chip designs ever implemented. To stay on the leading edge, Digital's micro...
133
click to vote
ASYNC
2007
IEEE
15 years 9 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
102
click to vote
APBC
2003
15 years 6 months ago
2003
Nowadays, biologists use a number of large biological databanks to find relevant information for their research. Users of these databanks face a number of problems. One problem i...
160
click to vote
SENSYS
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we present a novel platform for underwater sensor networks to be used for long-term monitoring of coral reefs and fisheries. The sensor network consists of static a...