893 search results - page 23 / 179 » Environment Assumptions for Synthesis |
ICCAD
1995
IEEE
13 years 11 months ago
1995
IEEE
Abstract -- Telecommunication network management applications often require application-specific ICs that use large dynamically allocated stored data structures. Currently availab...
LOPSTR
1998
Springer
13 years 12 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...
AGENTS
2000
Springer
14 years 9 hour ago
2000
Springer
Theoretically motivated planning systems often make assumptions about their environments, in areas such as the predictability of action e ects, static behavior of the environment,...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— Today’s mobile, wireless, and ad-hoc communications often exhibit extreme characteristics challenging assumptions underlying the traditional way of end-toend communic...
ACSAC
2000
IEEE
14 years 2 days ago
2000
IEEE
Digital signature schemes are based on the assumption that the signing key is kept in secret. Ensuring that this assumption holds is one of the most crucial problems for all curre...