Sciweavers

3864 search results - page 73 / 773
» time 2005
Sort
View
GECCO
2005
Springer
129views Optimization» more  GECCO 2005»
15 years 11 months ago
Evolutionary change in developmental timing
This paper presents a mutation-based evolutionary algorithm that evolves genotypic genes for regulating developmental timing of phenotypic values. The genotype sequentially genera...
Kei Ohnishi, Kaori Yoshida
CCS
2005
ACM
15 years 11 months ago
Improving Brumley and Boneh timing attack on unprotected SSL implementations
Since the remarkable work of Kocher [7], several papers considering different types of timing attacks have been published. In 2003, Brumley and Boneh presented a timing attack on...
Onur Aciiçmez, Werner Schindler, Çet...
CHARME
2005
Springer
91views Hardware» more  CHARME 2005»
15 years 11 months ago
Temporal Modalities for Concisely Capturing Timing Diagrams
Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both par...
Hana Chockler, Kathi Fisler
EUROCAST
2005
Springer
182views Hardware» more  EUROCAST 2005»
15 years 11 months ago
Computer Vision Application: Real Time Smart Traffic Light
Abstract. The design, development, construction and testing of an ArtificialVision controlled Traffic-Light prototype has been carried out to rule and regulate intersections. Metho...
Ángel Serrano, Cristina Conde, Licesio J. R...
ASYNC
2005
IEEE
118views Hardware» more  ASYNC 2005»
15 years 11 months ago
Modeling and Verifying Circuits Using Generalized Relative Timing
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
Sanjit A. Seshia, Randal E. Bryant, Kenneth S. Ste...