Sciweavers

2290 search results - page 167 / 458
» Extensible Protected Types
Sort
View
TOOLS
2008
IEEE
16 years 29 days ago
Object Incompleteness and Dynamic Composition in Java-Like Languages
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting to specialize the behavior of ...
Lorenzo Bettini, Viviana Bono, Betti Venneri
ISCAS
2007
IEEE
111views Hardware» more  ISCAS 2007»
16 years 26 days ago
Boundaries Between Fast-and Slow-Scale Bifurcations in Parallel-Connected Buck Converters
Abstract— This paper studies a system of parallelconnected dc/dc converters under master-slave current sharing and proportional-integral (PI) PWM control. Two distinct types of b...
Yuehui Huang, Herbert H. C. Iu, C. K. Michael Tse
151
Voted
APLAS
2005
ACM
16 years 5 days ago
A Simple Semantics for Polymorphic Recursion
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
William L. Harrison
APLAS
2004
ACM
16 years 1 days ago
Concurrency Combinators for Declarative Synchronization
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
Pawel T. Wojciechowski
ARGMAS
2004
Springer
16 years 3 hour ago
Layered Strategies and Protocols for Argumentation-Based Agent Interaction
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis