2771 search results - page 429 / 555 » Advances in Document Engineering |
131
Voted
SASO
2008
IEEE
15 years 7 months ago
2008
IEEE
—High level languages greatly increase the power of a programmer at the cost of programs that consume more s than those written at a lower level of abstraction. This inefficienc...
111
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
As an emerging technology, sensor networks provide the ability to accurately monitor the characteristics of wide geographical areas over long periods of time. The lifetime of indi...
134
Voted
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
Instruction Set Simulation (ISS) is widely used in system evaluation and software development for embedded processors. Despite the significant advancements in the ISS technology,...
115
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
84
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...