599 search results - page 98 / 120 » Integrating answer set programming and constraint logic prog... |
123
click to vote
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
In a later stage of a VLSI design, it is quite often to modify a design implementation to accommodate the new specification, design errors, or to meet design constraints. In addit...
110
Voted
ENGL
2008
15 years 3 months ago
2008
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
112
click to vote
WWW
2002
ACM
16 years 4 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
131
Voted
RTSS
1998
IEEE
15 years 7 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
136
Voted
ICAIL
2009
ACM
15 years 10 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...