3889 search results - page 378 / 778 » The Use of Program Dependence Graphs in Software Engineering |
209
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
The recognition of text in everyday scenes is made difficult by viewing conditions, unusual fonts, and lack of linguistic context. Most methods integrate a priori appearance info...
231
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Architectural patterns and styles represent important design decisions and thus are valuable abstractions for architecture recovery. Recognizing them is a challenge because styles...
209
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
193
click to vote
FASE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
153
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Event-driven software (EDS) is a widely used class of software that takes sequences of events as input, changes state, and outputs new event sequences. Managing the size of tests ...