385 search results - page 49 / 77 » Semi-automatic Distributed Synthesis |
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— We present a decentralized, communication-less approach to the dynamic allocation of a swarm of homogeneous robots to a target distribution among multiple sites. Building on ou...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
We present a divide-and-conquer method, called DiConic, for automatic addition of failsafe fault-tolerance to distributed programs, where a failsafe program guarantees to meet its...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
We propose a new model for image denoising which is a hybrid of the total variation model and the Laplacian mean-curvature model. An efficient numerical procedure to compute the h...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper investigates the implementation of a number of circuits used to perform a high speed closest value match lookup. The design is targeted particularly for use in a sea...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
Current electronic system design requires to be concerned with power consumption consideration. However, in a lot of design tools, the application power consumption budget is esti...