Sciweavers

6014 search results - page 740 / 1203
» Structural Testing with Use Cases
Sort
View
VLSID
1999
IEEE
97views VLSI» more  VLSID 1999»
15 years 11 months ago
A New Methodology for Concurrent Technology Development and Cell Library Optimization
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...
Marko P. Chew, Sharad Saxena, Thomas F. Cobourn, P...
ICCL
1998
IEEE
15 years 11 months ago
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
Christopher Colby, Lalita Jategaonkar Jagadeesan, ...
CRW
1998
Springer
332views Robotics» more  CRW 1998»
15 years 11 months ago
Communication in Domains with Unreliable, Single-Channel, Low-Bandwidth Communication
In most multiagent systems with communicating agents, the agents have the luxury of using reliable, multi-step negotiation protocols. They can do so primarily when communication i...
Peter Stone, Manuela M. Veloso
TOOLS
1997
IEEE
15 years 11 months ago
A Catalogue of General-Purpose Software Design Patterns
Software design patterns describe proven solutions to recurring software design problems. Knowledge of these patterns increases designers’ abilities, leads to cleaner and more e...
Walter F. Tichy
UIST
1997
ACM
15 years 11 months ago
Pen-Based Interaction Techniques for Organizing Material on an Electronic Whiteboard
This paper presents a scheme for extending an informal, penbased whiteboard system (the Tivoli application on the Xerox LiveBoard) to provide interaction techniques that enable gr...
Thomas P. Moran, Patrick Chiu, William van Melle