7557 search results - page 521 / 1512 » Constraints as a design pattern |
170
click to vote
ACSD
2003
IEEE
16 years 14 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
222
click to vote
WETICE
2003
IEEE
16 years 13 days ago
2003
IEEE
Large scale distributed applications such as electronic commerce and online marketplaces combine network access with multiple storage and computational elements. The distributed r...
196
click to vote
COOPIS
2002
IEEE
16 years 4 days ago
2002
IEEE
Over 90 percent of all microprocessors are now used for realtime and embedded applications. Since the behavior of these applications is often constrained by the physical world, it...
181
click to vote
ICRA
2002
IEEE
16 years 3 days ago
2002
IEEE
We develop a method for generating smooth trajectories for a set of mobile robots. Given two end configurations, by tuning one parameter, the user can choose an interpolating tra...
193
click to vote
FPGA
2001
ACM
15 years 11 months ago
2001
ACM
Conventional technology mapping algorithms for SRAM-based Field Programmable Gate Arrays (FPGAs) are normally carried out on a fixed logic decomposition of a circuit. The impact o...