4485 search results - page 726 / 897 » Equivalences on Observable Processes |
112
Voted
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present the modeling of the high-level design of a next generation network switch from the perspective of a ComputerAided Design (CAD) team within the larger context of a desig...
153
Voted
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
132
Voted
VISUALIZATION
2002
IEEE
15 years 8 months ago
2002
IEEE
GeneVis provides a visual environment for exploring the dynamics of genetic regulatory networks. At present time, genetic regulation is the focus of intensive research worldwide, ...
132
Voted
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
156
Voted
GLVLSI
2010
IEEE
15 years 8 months ago
2010
IEEE
Graphene nanoribbon tunneling FETs (GNR TFETs) are promising devices for post-CMOS low-power applications because of the low subthreshold swing, high Ion/Ioff, and potential for l...