Sciweavers

2632 search results - page 213 / 527
» Alternating Timed Automata
Sort
View
ICMCS
2005
IEEE
88views Multimedia» more  ICMCS 2005»
15 years 10 months ago
Hash-based Counter Scheme for Digital Rights Management
This paper describes a counter scheme that uses hash functions to count how many times the user is allowed to play protected content in a DRM-enabled player. The proposed basic sc...
Mikko Löytynoja, Tapio Seppänen
130
Voted
GECCO
2009
Springer
156views Optimization» more  GECCO 2009»
15 years 9 months ago
BBOB-benchmarking the DIRECT global optimization algorithm
The DIRECT global optimization algorithm is tested on the BBOB 2009 testbed. The algorithm is rather time and space consuming since it does not forget any point it samples during ...
Petr Posik
IPPS
2000
IEEE
15 years 8 months ago
Gang Scheduling with Memory Considerations
A major problem with time slicing on parallel machines is memory pressure, as the resulting paging activity damages the synchronism among a job’s processes. An alternative is to...
Anat Batat, Dror G. Feitelson
ACSD
2008
IEEE
107views Hardware» more  ACSD 2008»
15 years 6 months ago
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
Jasen Markovski, Erik P. de Vink
ACL
1990
15 years 5 months ago
The Computational Complexity of Avoiding Conversational Implicatures
Referring expressions and other object descriptions should be maximal under the Local Brevity, No Unnecessary Components, and Lexical Preference preference rules; otherwise, they ...
Ehud Reiter