3444 search results - page 290 / 689 » A Theory of Object-Oriented Design |
240
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
161
click to vote
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
This paper surveys the current state of the art in agentoriented software engineering, focusing on the area of coordinated multi-agent systems. In multi-agent systems, the interac...
170
click to vote
WSC
2008
15 years 9 months ago
2008
We extend the basic theory of kriging, as applied to the design and analysis of deterministic computer experiments, to the stochastic simulation setting. Our goal is to provide fl...
184
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents a novel synthesis algorithm that reduces the area needed for implementing multiplexers on an FPGA by an average of 18%. This is achieved by reducing the number...
172
Voted
DAC
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents a new test response compaction technique with any number of unknown logic values (X’s) in the test response bits. The technique leverages an X-tolerant respo...