7393 search results - page 1245 / 1479 » Synthesis-for-testability using transformations |
123
Voted
DL
1998
Springer
15 years 8 months ago
1998
Springer
Although digital libraries are intended to support education and knowledge work, current digital library interfaces are narrowly focused on retrieval. Furthermore, they are design...
119
click to vote
KR
1998
Springer
15 years 8 months ago
1998
Springer
By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans...
111
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
Memory-intensive behaviors often contain large arrays that are synthesized into off-chip memories. With the increasing gap between on-chip and off-chip memory access delays, it is...
157
Voted
PRICAI
1998
Springer
15 years 8 months ago
1998
Springer
Many real-world constraint satisfaction problems (CSPs) can be over-constrained but contain a set of mandatory or hard constraints that have to be satisfied for a solution to be ac...
116
click to vote
GROUP
1997
ACM
15 years 8 months ago
1997
ACM
This paper presents the mStar environment, which creates an environment for truly scalable distributed teamwork. It can be and is being used on a daily basis for electronic meetin...