1541 search results - page 289 / 309 » Tools and Techniques for Model Checking Networked Programs |
130
click to vote
Publication
Ease of deployment, wireless connectivity and ubiquitous mobile on-the-go computing has made the IEEE 802.11 the most widely deployed Wireless Local Area Network (WLAN) sta...
134
click to vote
CLADE
2003
IEEE
15 years 5 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
124
Voted
CONCURRENCY
2002
15 years 7 days ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...
VLSID
2002
IEEE
16 years 24 days ago
2002
IEEE
We present a mathematical model for the problem of scheduling tests for core-based system-on-chip (SOC) VLSI designs. Given a set of tests for each core in the SOC and a set of te...
90
Voted
ICSE
2008
IEEE-ACM
16 years 15 days ago
2008
IEEE-ACM
Because the knowledge required for the construction of a complex software system is often widely distributed among its members, programmers routinely engage in collaboration with ...