Sciweavers

3879 search results - page 252 / 776
» PyPBS design and methodologies
Sort
View
143
Voted
CCE
2004
15 years 6 months ago
Optimal waste reduction and investment planning under uncertainty
Ever-changing production campaigns complicate the management of recovery and treatment options for unavoidable effluents at pharmaceutical plants. Each campaign produces large amo...
Aninda Chakraborty, Andres Malcolm, Richard D. Col...
SAFECOMP
2010
Springer
15 years 4 months ago
Experiences in Applying Formal Verification in Robotics
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
Dennis Walter, Holger Täubig, Christoph L&uum...
ECWEB
2011
Springer
277views ECommerce» more  ECWEB 2011»
14 years 6 months ago
InCarMusic: Context-Aware Music Recommendations in a Car
Context aware recommender systems (CARS) adapt to the specific situation in which the recommended item will be consumed. So, for instance, music recommendations while the user is ...
Linas Baltrunas, Marius Kaminskas, Bernd Ludwig, O...
IACR
2011
127views more  IACR 2011»
14 years 5 months ago
Cryptanalysis of KeeLoq code-hopping using a Single FPGA
The KeeLoq cipher is used in many wireless car door systems and garage openers. Recently the algorithm was studied and several attacks have been published. When a random seed is no...
Idan Sheetrit, Avishai Wool
ASAP
2005
IEEE
165views Hardware» more  ASAP 2005»
15 years 11 months ago
CONAN - A Design Exploration Framework for Reliable Nano-Electronics
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
Sorin Cotofana, Alexandre Schmid, Yusuf Leblebici,...