Sciweavers

3249 search results - page 554 / 650
» C Based Hardware Design for Wireless Applications
Sort
View
DATE
2008
IEEE
142views Hardware» more  DATE 2008»
15 years 8 months ago
Algorithms for Maximum Satisfiability using Unsatisfiable Cores
Many decision and optimization problems in Electronic Design Automation (EDA) can be solved with Boolean Satisfiability (SAT). Moreover, well-known extensions of SAT also find app...
João Marques-Silva, Jordi Planes
ETS
2002
IEEE
146views Hardware» more  ETS 2002»
15 years 6 months ago
Teaching Motor Disability Assessment over the Web: MODASPECTRA
MODASPECTRA (MOtor Disability Assessment SPEcialists' TRAining) was a research and technology development project aimed at developing quality teaching and training of post-gr...
Salvatore Valenti, Sandro Fioretti, Maurizio Mauri...
SIGMETRICS
2002
ACM
133views Hardware» more  SIGMETRICS 2002»
15 years 6 months ago
On the stability of network distance estimation
Estimating end-to-end Internet distance can benefit many applications and services, such as efficient overlay construction, overlay routing and location, and peer-topeer systems. ...
Yan Chen, Khian Hao Lim, Randy H. Katz, Chris Over...
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
16 years 11 days ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
MTV
2005
IEEE
138views Hardware» more  MTV 2005»
15 years 12 months ago
Diagnosing Faulty Functional Units in Processors by Using Automatically Generated Test Sets
Microprocessor technology is increasingly used for many applications; the large market volumes call for cost containment in the production phase. Process yield for processor produ...
Paolo Bernardi, Ernesto Sánchez, Massimilia...