851 search results - page 32 / 171 » History Effects and Verification |
CORR
2008
Springer
14 years 12 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
102
click to vote
ENTCS
2008
14 years 12 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
161
click to vote
REFSQ
2010
Springer
2010
Springer
Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context
14 years 9 months ago
[Context and motivation] When developing software, coordination between different organizational units is essential in order to develop a good quality product, on time and within b...
ISCA
2003
IEEE
15 years 5 months ago
2003
IEEE
On a N-way issue superscalar processor, the front end instruction fetch engine must deliver instructions to the execution core at a sustained rate higher than N instructions per c...
104
click to vote
CSCW
2010
ACM
15 years 5 months ago
2010
ACM
Online peer-to-peer (P2P) lending organizations enable an individual to obtain an unsecured loan from a collection of individuals without the participation of a bank. Previous res...