7557 search results - page 435 / 1512 » Constraints as a design pattern |
181
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
NAND Flash has become the most popular stable storage medium for embedded systems. As on-board storage capacity increases, the need for efficient indexing techniques arises. Such ...
194
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
199
click to vote
WINE
2009
Springer
16 years 1 months ago
2009
Springer
A well-known result due to Vickery gives a mechanism for selling a number of goods to interested buyers in a way that achieves the maximum social welfare. In practice, a problem wi...
120
click to vote
HAPTICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Haptic icons (brief tangible stimuli with associated meanings) are a new way to convey information, but are difficult to design in large quantities due to technological and percept...
166
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper addresses the design considerations and dexterity evaluation of a novel hybrid two-armed micro-surgical slave robot equipped with intraocular dexterity devices. A uni...