1635 search results - page 99 / 327 » DIPC: A System Software Solution for Distributed Programming |
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—The study of Cyber-Physical System (CPS) has been an active area of research. Internet Data Center (IDC) is an important emerging Cyber-Physical System. As the demand on Interne...
TAP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Software systems are designed and engineered to process data. However, software is data too. The size and variety of today's software artifacts and the multitude of stakehold...
CODES
2009
IEEE
14 years 3 months ago
2009
IEEE
A growing number of applications, with diverse requirements, are integrated on the same System on Chip (SoC) in the form of hardware and software Intellectual Property (IP). The d...