1700 search results - page 129 / 340 » Specifying and implementing refactorings |
150
click to vote
GLVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
A special logic synthesis problem is considered for Boolean functions which have large don’t care sets and are irregular. Here, a function is considered as irregular if the inpu...
149
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— In this paper, a strategy for controlled pushing is presented for microassembly of 4.5 μm polystyrene particles on a flat glass substrate using an atomic force microscope prob...
160
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
171
click to vote
SEUS
2007
IEEE
15 years 11 months ago
2007
IEEE
In the literature there exist many proposed architectures for sensor fusion applications. This paper briefly reviews some of the most common approaches, i. e., the JDL fusion arch...
140
Voted
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...