1700 search results - page 211 / 340 » Specifying and implementing refactorings |
184
click to vote
SPIN
2009
Springer
16 years 22 days ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
179
click to vote
SMA
2009
ACM
16 years 21 days ago
2009
ACM
For designing aesthetic surfaces, such as the car bodies, it is very important to use aesthetic curves as characteristic lines. In such curves, the curvature should be monotonical...
145
click to vote
DATE
2008
IEEE
16 years 19 days ago
2008
IEEE
Microcontrollers are the core part of automotive Electronic Control Units (ECUs). A significant investment of the ECU manufacturers and even their customers is linked to the speci...
174
click to vote
DSD
2008
IEEE
16 years 19 days ago
2008
IEEE
Effective mapping of multimedia applications on massively parallel embedded systems is a challenging demand in the domain of compiler design. The software implementations of emerg...
165
click to vote
FGCN
2008
IEEE
16 years 19 days ago
2008
IEEE
A mobile robot with various types of sensors via ubiquitous networks is introduced. We designed a mobile robot composed of TCP/IP network, wireless camera and several sensors in a...