Sciweavers

1525 search results - page 193 / 305
» Matching with Regular Constraints
Sort
View
171
Voted
VIS
2008
IEEE
176views Visualization» more  VIS 2008»
16 years 5 months ago
Particle-based Sampling and Meshing of Surfaces in Multimaterial Volumes
Abstract-- Methods that faithfully and robustly capture the geometry of complex material interfaces in labeled volume data are important for generating realistic and accurate visua...
Miriah Meyer, Ross Whitaker, Robert M. Kirby, C...
ICCD
2004
IEEE
122views Hardware» more  ICCD 2004»
16 years 1 months ago
Linear Programming based Techniques for Synthesis of Network-on-Chip Architectures
Network-on-chip (NoC) has been proposed as a solution for the communication challenges of System-on-chip (SoC) design in the nanoscale regime. SoC design offers the opportunity fo...
Krishnan Srinivasan, Karam S. Chatha, Goran Konjev...
130
Voted
DATE
2008
IEEE
124views Hardware» more  DATE 2008»
15 years 11 months ago
Automated Testability Enhancements for Logic Brick Libraries
Circuit fabrics composed of highly regular structures, called logic bricks, have been described recently for improving yield. An automated logic brick design flow based on a SAT ...
Jason G. Brown, Brian Taylor, Ronald D. Blanton, L...
131
Voted
FROCOS
2007
Springer
15 years 10 months ago
Languages Modulo Normalization
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
Hitoshi Ohsaki, Hiroyuki Seki
ICDE
2005
IEEE
125views Database» more  ICDE 2005»
15 years 10 months ago
QoSMig: Adaptive Rate-Controlled Migration of Bulk Data in Storage Systems
Abstract— Logical reorganization of data and requirements of differentiated QoS in information systems necessitate bulk data migration by the underlying storage layer. Such data ...
Koustuv Dasgupta, Sugata Ghosal, Rohit Jain, Upend...