Sciweavers

5577 search results - page 59 / 1116
» E2K Technology and Implementation
Sort
View
SAS
2009
Springer
204views Formal Methods» more  SAS 2009»
15 years 11 months ago
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh1 , Hyunha Kim1 , David A. Schmidt2 1 Hanyang University, Ansan, South Kore...
Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
78
Voted
ICCAD
2005
IEEE
128views Hardware» more  ICCAD 2005»
15 years 8 months ago
Reducing structural bias in technology mapping
Technology mapping based on DAG-covering suffers from the problem of structural bias: the structure of the mapped netlist depends strongly on the subject graph. In this paper we ...
Satrajit Chatterjee, Alan Mishchenko, Robert K. Br...
DATE
2008
IEEE
129views Hardware» more  DATE 2008»
15 years 5 months ago
Memory Technology for Extended Large-Scale Integration in Future Electronics Applications
Extending 2-D planar topologies in integrated circuits (ICs) to a 3-D implementation has the obvious benefits of reducing the overall footprint and average interconnection length,...
Dinesh Pamunuwa
EUSAI
2007
Springer
15 years 5 months ago
Improving Mobile Solution Workflows and Usability Using Near Field Communication Technology
Organisations want nowadays more controlled processes and easily usable solutions, but achieving them requires winning many challenges. Radio Frequency Identification (RFID) based ...
Päivi Jaring, Vili Törmänen, Erkki ...
SC
2009
ACM
15 years 3 months ago
Cloud technologies for bioinformatics applications
Executing large number of independent tasks or tasks that perform minimal inter-task communication in parallel is a common requirement in many domains. In this paper, we present o...
Xiaohong Qiu, Jaliya Ekanayake, Scott Beason, Thil...