503 search results - page 48 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
ISORC
2006
IEEE
15 years 3 months ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Cutting-edge applications of future embedded systems demand highest processor performance with low power consumption to get acceptable battery-life times. Therefore, low power opt...
EFDBS
2000
14 years 11 months ago
2000
The generation of hypermedia (or Web-based) presentations plays an important role in information management on the World Wide Web. In applications for Web modeling and querying, in...
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...