Sciweavers

15777 search results - page 571 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
141
Voted
TCAD
2010
111views more  TCAD 2010»
15 years 1 months ago
Combining Control and Data Abstraction in the Verification of Hybrid Systems
Xavier Briand, Bertrand Jeannet
TCOM
2010
53views more  TCOM 2010»
15 years 1 months ago
Optimized low-delay source-channel-relay mappings
Johannes Karlsson, Mikael Skoglund
VLSISP
2010
127views more  VLSISP 2010»
15 years 29 days ago
An Efficient Method for Evaluating Complex Polynomials
Milos D. Ercegovac, Jean-Michel Muller
APPML
2011
14 years 10 months ago
New subclasses of bi-univalent functions
Basem A. Frasin, M. K. Aouf
CHB
2011
136views more  CHB 2011»
14 years 10 months ago
Comparative study of netbooks and tablet PCs for fostering face-to-face collaborative learning
Claudio Alvarez, Christian Brown, Miguel Nussbaum