10159 search results - page 456 / 2032 » System Design Validation Using Formal Models |
151
Voted
IRI
2005
IEEE
15 years 10 months ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
143
click to vote
SPAA
2009
ACM
16 years 5 months ago
2009
ACM
Designing an overlay network for publish/subscribe communication in a system where nodes may subscribe to many different topics of interest is of fundamental importance. For scala...
133
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
146
click to vote
ISLPED
2010
ACM
15 years 5 months ago
2010
ACM
Thermal energy harvesting using micro-scale thermoelectric generators is a promising approach to alleviate the power supply challenge in ultra low power systems. In thermal energy...
128
Voted
DIAGRAMS
2006
Springer
15 years 8 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...