2468 search results - page 97 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
128
Voted
FM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
130
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper describes a new approach to modeling duration for LVCSR using SCARF, a toolkit for speech recognition with segmental conditional random fields. We utilize SCARF’s abi...
164
click to vote
CASCON
1996
15 years 4 months ago
1996
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...
155
Voted
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
139
Voted
ACSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
Instruction-set randomization (ISR) is a technique based on randomizing the "language" understood by a system to protect it from code-injection attacks. Such attacks wer...