9626 search results - page 1491 / 1926 » Invariant Based Programming |
185
click to vote
VTS
2002
IEEE
16 years 16 days ago
2002
IEEE
The testing time for a system-on-chip (SOC) is determined to a large extent by the design of test wrappers and the test access mechanism (TAM). Wrapper/TAM co-optimization is ther...
170
click to vote
ICSE
2010
IEEE-ACM
16 years 12 days ago
2010
IEEE-ACM
The size and high rate of change of source code comprising a software system make it difficult for software developers to keep up with who on the team knows about particular parts...
226
click to vote
CDC
2009
IEEE
16 years 10 days ago
2009
IEEE
— This paper addresses model reduction for a Markov chain on a large state space. A simulation-based framework is introduced to perform state aggregation of the Markov chain base...
172
click to vote
ACSAC
2000
IEEE
16 years 1 days ago
2000
IEEE
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...
215
click to vote
VL
2000
IEEE
16 years 9 hour ago
2000
IEEE
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in le...