Sciweavers

4520 search results - page 224 / 904
» Algebraic Techniques for Timed Systems
Sort
View
AOSD
2008
ACM
15 years 9 months ago
Edicts: implementing features with flexible binding times
In a software product line, the binding time of a feature is the time at which one decides to include or exclude a feature from a product. Typical binding site implementations are...
Venkat Chakravarthy, John Regehr, Eric Eide
CRYPTO
2000
Springer
175views Cryptology» more  CRYPTO 2000»
15 years 11 months ago
A Chosen-Ciphertext Attack against NTRU
We present a chosen-ciphertext attack against the public key cryptosystem called NTRU. This cryptosystem is based on polynomial algebra. Its security comes from the interaction of ...
Éliane Jaulmes, Antoine Joux
ICDE
2010
IEEE
197views Database» more  ICDE 2010»
16 years 7 months ago
Monitoring Continuous State Violation in Datacenters: Exploring the Time Dimension
Monitoring global states of an application deployed over distributed nodes becomes prevalent in today's datacenters. State monitoring requires not only correct monitoring resu...
Shicong Meng, Ting Wang, Ling Liu
ICPP
2006
IEEE
16 years 1 months ago
Scalable Time-Parallelization of Molecular Dynamics Simulations in Nano Mechanics
— Molecular Dynamics (MD) is an important atomistic simulation technique, with widespread use in computational chemistry, biology, and materials. An important limitation of MD is...
Yanan Yu, Ashok Srinivasan, Namas Chandra
RTAS
2008
IEEE
16 years 1 months ago
Physical Assembly Mapper: A Model-Driven Optimization Tool for QoS-Enabled Component Middleware
This paper provides four contributions to the study of optimization techniques for component-based distributed realtime and embedded (DRE) systems. First, we describe key challeng...
Krishnakumar Balasubramanian, Douglas C. Schmidt