3082 search results - page 548 / 617 » New Bounds for the Controller Problem |
170
click to vote
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
150
click to vote
ACMDIS
1997
ACM
15 years 8 months ago
1997
ACM
Human-computer interaction is multidisciplinary, drawing paradigms and techniques from both the natural sciences and the design disciplines. HCI cannot be considered a pure natura...
136
Voted
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
Application Specific Instruction-Set Processors (ASIPs) offer designers the ability for high-speed data and control processing with the added flexibility needed for late design sp...
121
click to vote
ISCA
1993
IEEE
15 years 8 months ago
1993
IEEE
Virtual memoy page translation tables provide mappings from virtual to physical addresses. When the hardware controlled Tratmlation L.ookaside Buffers (TLBs) do not contain a tran...
162
click to vote
PEPM
1992
ACM
15 years 8 months ago
1992
ACM
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...