Sciweavers

3328 search results - page 541 / 666
» On Plateaued Functions and Their Constructions
Sort
View
ENTCS
2006
144views more  ENTCS 2006»
13 years 10 months ago
Infinitary Howe's Method
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...
Paul Blain Levy
CAD
2007
Springer
13 years 10 months ago
A B-spline-based approach to heterogeneous objects design and analysis
The recent advancement of solid freeform fabrication, design techniques and fundamental understanding of material properties in functionally graded materials has made it possible ...
Pinghai Yang, Xiaoping Qian
CAL
2007
13 years 10 months ago
Dynamic Predication of Indirect Jumps
Abstract—Indirect jumps are used to implement increasinglycommon programming language constructs such as virtual function calls, switch-case statements, jump tables, and interfac...
José A. Joao, Onur Mutlu, Hyesoon Kim, Yale...
CN
2007
221views more  CN 2007»
13 years 10 months ago
Adaptive design optimization of wireless sensor networks using genetic algorithms
We present a multi-objective optimization methodology for self-organizing, adaptive wireless sensor network design and energy management, taking into consideration application-spe...
Konstantinos P. Ferentinos, Theodore A. Tsiligirid...
IJCIS
2006
161views more  IJCIS 2006»
13 years 10 months ago
Poseidon: a Framework to Assist Web Process Design Based on Business Cases
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...
Jorge Cardoso