4880 search results - page 710 / 976 » Manuals as Structured Programs |
157
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Methods for reliable synthesis of long genes offer great promise for protein synthesis via expression of synthetic genes, with applications to improved analysis of protein stru...
163
click to vote
IEEEPACT
2007
IEEE
16 years 29 days ago
2007
IEEE
Continued scaling of CMOS technology to smaller transistor sizes makes modern processors more susceptible to both transient and permanent hardware faults. Circuitlevel techniques ...
189
click to vote
EUROPAR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Hardware Transactional Memory (HTM) gives software developers the opportunity to write parallel programs more easily compared to any previous programming method, and yiel...
169
click to vote
FCT
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
174
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...