Sciweavers

8825 search results - page 207 / 1765
» All for one or one for all
Sort
View
82
Voted
SRDS
2000
IEEE
15 years 6 months ago
An Investigation of Membership and Clique Avoidance in TTP/C
Avoiding the partitioning of a cluster into cliques that are not able to communicate with each other is an important issue in the time-triggered communication protocol TTP/C. This...
Günther Bauer, Michael Paulitsch
ECAI
2000
Springer
15 years 6 months ago
On Efficiency of Learning: A Framework and Justification
Abstract. A conceptual framework, whose goal is the improvement of efficiency of machine learning, is presented. The framework is designed in a broader context of problem solver (P...
Jindrich Bucha
ISPD
1999
ACM
83views Hardware» more  ISPD 1999»
15 years 5 months ago
Efficient solution of systems of orientation constraints
One subtask in constraint-driven placement is enforcing a set of orientation constraints on the devices being placed. Such constraints are created in order to, for example, implem...
Joseph L. Ganley
ECOOPW
1999
Springer
15 years 5 months ago
Security Properties of Typed Applets
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
Xavier Leroy, François Rouaix
ESOP
1999
Springer
15 years 5 months ago
Polytypic Compact Printing and Parsing
ull articles  not 12 page abstracts, and are the normal form of refereed publication. The top conferences in each subeld (like POPL below) typically have the highest impact f...
Patrik Jansson, Johan Jeuring