3256 search results - page 157 / 652 » Applications of Formal Methods to System Design and Verifica... |
167
click to vote
APPINF
2003
15 years 6 months ago
2003
Due to increasing size and complexity of hypermedia and web applications, there is growing concern by how to develop quality, reusable and maintainable hypermedia systems. In fact...
126
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
125
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
160
click to vote
ISMVL
2006
IEEE
15 years 10 months ago
2006
IEEE
Multiple-valued logic can be viewed as an alternative approach to solving many problems in transmission, storage, and processing of large and even increasing amounts of informatio...
127
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The structure of Internet applications and scenarios is changing rapidly today. This offers new potential for established technologies and methods to expand their area of applicat...