3658 search results - page 355 / 732 » Founding properties on measurement |
159
click to vote
SSDBM
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract. State-of-the-art numerical solvers in Earth Sciences produce multi terabyte datasets per execution. Operating on increasingly larger datasets becomes challenging due to i...
201
click to vote
RSP
1999
IEEE
15 years 11 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
187
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
209
click to vote
SACRYPT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. RC4, a stream cipher designed by Rivest for RSA Data Security Inc., has found several commercial applications, but little public analysis has been done to date. In this p...
183
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
In its current implementation, the World-Wide Web lacks much of the explicit structure and strong typing found in many closed hypertext systems. While this property has directly f...