Sciweavers

1525 search results - page 193 / 305
» Matching with Regular Constraints
Sort
View
VIS
2008
IEEE
176views Visualization» more  VIS 2008»
16 years 7 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 2 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...
DATE
2008
IEEE
124views Hardware» more  DATE 2008»
16 years 10 days 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...
FROCOS
2007
Springer
16 years 18 hour 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 11 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...