1782 search results - page 310 / 357 » Tool Support for Proof Engineering |
111
click to vote
TCS
2011
14 years 6 months ago
2011
Fuzzy cellular automata (FCA) are continuous cellular automata where the local rule is defined as the “fuzzification" of the local rule of a corresponding Boolean cellula...
156
click to vote
HPCA
2011
IEEE
14 years 3 months ago
2011
IEEE
Over the last twenty years the interfaces for accessing persistent storage within a computer system have remained essentially unchanged. Simply put, seek, read and write have de...
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
WWW
2005
ACM
16 years 15 days ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
125
click to vote
WOSP
2005
ACM
15 years 5 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...