1541 search results - page 301 / 309 » Tools and Techniques for Model Checking Networked Programs |
144
click to vote
APSEC
2010
IEEE
14 years 4 months ago
2010
IEEE
There is an emergence of cloud application platforms such as Microsoft’s Azure, Google’s App Engine and Amazon’s EC2/SimpleDB/S3. Startups and Enterprise alike, lured by the...
102
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
178
click to vote
EICS
2011
ACM
14 years 3 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
Heat dissipation is one of the most serious challenges in 3D IC designs. One effective way of reducing circuit temperature is to introduce thermal through-the-silicon (TTS) vias....
106
click to vote
ICS
2007
Tsinghua U.
15 years 6 months ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...