Sciweavers

2620 search results - page 407 / 524
» Qualities in Possible Worlds
Sort
View
ENGL
2008
100views more  ENGL 2008»
15 years 6 months ago
HIDE+: A Logic Based Hardware Development Environment
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
Abdsamad Benkrid, Khaled Benkrid
INTEGRATION
2008
87views more  INTEGRATION 2008»
15 years 6 months ago
SafeResynth: A new technique for physical synthesis
Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the quality of the final design,...
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco
IVS
2008
75views more  IVS 2008»
15 years 6 months ago
Perceiving patterns in parallel coordinates: determining thresholds for identification of relationships
This article presents a study that investigates the ability of humans to perceive relationships (patterns) in parallel coordinates, an ability that is crucial to the use of this p...
Jimmy Johansson, Camilla Forsell, Mats Lind, Matth...
COR
2007
183views more  COR 2007»
15 years 6 months ago
Arcs-states models for the vehicle routing problem with time windows and related problems
This paper presents several Arcs-States models that can be applied to numerous vehicle routing problems, one of which is the well-known vehicle routing problem with capacities and...
Thierry Mautor, Edith Naudin
JCP
2008
161views more  JCP 2008»
15 years 6 months ago
Visual Cryptography for General Access Structure Using Pixel-block Aware Encoding
Multi-pixel encoding is an emerging method in visual cryptography for that it can encode more than one pixel for each encoding run. Nevertheless, in fact its encoding efficiency is...
Haibo Zhang, Xiaofei Wang, Wanhua Cao, Youpeng Hua...