893 search results - page 22 / 179 » Environment Assumptions for Synthesis |
CCR
2005
13 years 7 months ago
2005
In this paper we explore the evolution of both the Internet's most heavily used transport protocol, TCP, and the current network environment with respect to how the network&#...
TIP
2002
13 years 7 months ago
2002
Using an array of photo shots, the concentric mosaic offers a quick way to capture and model a realistic three-dimensional (3-D) environment. In this work, we compress the concentr...
FM
1999
Springer
13 years 12 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
LOPSTR
1997
Springer
13 years 11 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
TROB
2008
13 years 7 months ago
2008
Advanced, synthetic haptic virtual environments require textured virtual surfaces. We found that texturing smooth surfaces often reduces the system passivity margin of a haptic sim...