6197 search results - page 210 / 1240 » Sandbridge Software Tools |
140
click to vote
TPHOL
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
129
click to vote
DIAGRAMS
2006
Springer
15 years 6 months ago
2006
Springer
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...
147
click to vote
CCGRID
2001
IEEE
15 years 6 months ago
2001
IEEE
An inexpensive way to construct a scalable display wall system is to use a cluster of PCs with commodity graphics accelerators to drive an array of projectors. A challenge is to b...
121
click to vote
DAC
1995
ACM
15 years 6 months ago
1995
ACM
—Embedded computer systems are characterized by the presence of a processor running application-specific dedicated software. A large number of these systems must satisfy real-ti...
148
Voted
USENIX
2004
15 years 3 months ago
2004
Many Wireless Sensor Network (WSN) applications are composed of a mixture of deployed devices with varying capabilities, from extremely constrained 8-bit "Motes" to less...