1027 search results - page 106 / 206 » Callgraph properties of executables |
124
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
Factoring is a logic minimization technique to represent a Boolean function in an equivalent function with minimum literals. When realizing the circuit, a function represented in ...
99
Voted
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
132
Voted
ICAS
2009
IEEE
15 years 7 months ago
2009
IEEE
Legged autonomous vehicles move by executing patterns of leg-joint angles known as gaits. Synthesizing gaits by hand is a complex and time-consuming task which becomes even more c...
129
Voted
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
We propose monitoring of software components, and use of monitored software components, as a general approach for engineering of embedded computer systems. In our approach, a comp...
160
Voted
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
Distributed Virtual Computer (DVC) is a computing environment which simplifies the development and execution of distributed applications on computational grids. DVC provides a sim...