453 search results - page 65 / 91 » From restrictive to prescriptive design |
126
click to vote
SBMF
2010
Springer
14 years 4 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
WABI
2007
Springer
15 years 3 months ago
2007
Springer
Although snake venom proteins have been proven instrumental in the design of blood clotting and cytostatic breast cancer drugs, the main method in use to sequence these unknown pr...
MOBISYS
2009
ACM
15 years 10 months ago
2009
ACM
Loaded with personal data, e.g. photos, contacts, and call history, mobile phones are truly personal devices. Yet it is often necessary or desirable to share our phones with other...
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract— With the increasing cost of global communication onchip, high-performance designs for data-intensive applications require architectures that distribute hardware resourc...
PEWASUN
2007
ACM
14 years 11 months ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...