1423 search results - page 261 / 285 » Languages of Nested Trees |
CP
2005
Springer
15 years 3 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...
62
Voted
ISOLA
2004
Springer
15 years 2 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
82
Voted
APSEC
2003
IEEE
15 years 2 months ago
2003
IEEE
The size, complexity and duration of typical software engineering projects means that teams of developers will work on them. However, with the exception of version control systems...
92
Voted
COMPSAC
2003
IEEE
15 years 2 months ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
GLVLSI
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper, we describe a low power and high speed multiplier suitable for standard cell-based ASIC design methodologies. For the purpose, an optimized booth encoder, compact 2...