Sciweavers

1613 search results - page 281 / 323
» Model-Driven Constraint Engineering
Sort
View
TVLSI
2010
14 years 10 months ago
Discrete Buffer and Wire Sizing for Link-Based Non-Tree Clock Networks
Clock network is a vulnerable victim of variations as well as a main power consumer in many integrated circuits. Recently, link-based non-tree clock network attracts people's...
Rupak Samanta, Jiang Hu, Peng Li
CORR
2011
Springer
204views Education» more  CORR 2011»
14 years 6 months ago
Chameleon: A Color-Adaptive Web Browser for Mobile OLED Displays
Displays based on organic light-emitting diode (OLED) technology are appearing on many mobile devices. Unlike liquid crystal displays (LCD), OLED displays consume dramatically dif...
Mian Dong, Lin Zhong
ICWE
2011
Springer
14 years 6 months ago
Formal Modeling of RESTful Systems Using Finite-State Machines
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
Ivan Zuzak, Ivan Budiselic, Goran Delac
PEPM
2009
ACM
17 years 3 months ago
Static Consistency Checking for Verilog Wire Interconnects
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
Cherif Salama, Gregory Malecha, Walid Taha, Jim Gr...
ICIP
2001
IEEE
16 years 4 months ago
Color error diffusion with generalized optimum noise shaping
Wc optimizc thc noisc shaping bchavior of color crror diffusion by designing an optirnizcd crror filtcr bascd on a proposed noisc shaping modcl for color crror diffusion and a gcn...
Niranjan Damera-Venkata, Brian L. Evans