5130 search results - page 821 / 1026 » Constraint Query Languages |
172
click to vote
ICSM
2006
IEEE
16 years 8 days ago
2006
IEEE
Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patt...
185
click to vote
ACMSE
2006
ACM
16 years 7 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
190
click to vote
SBCCI
2006
ACM
16 years 6 days ago
2006
ACM
The growing complexity and production cost of processor-based systems have imposed big constraints in SoC design of new systems. GPPs and ASICs are unable to fit the tight perform...
165
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
The two most popular backtrack algorithms for solving Constraint Satisfaction Problems (CSPs) are Forward Checking (FC) and Maintaining Arc Consistency (MAC). MAC maintains full ar...
144
click to vote
SCOPES
2005
Springer
15 years 11 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...