2452 search results - page 216 / 491 » On Reduction of Lagrange Systems |
186
click to vote
LPAR
2005
Springer
16 years 20 days ago
2005
Springer
We investigate some syntactic properties of Wadler’s dual calculus, a term calculus which corresponds to classical sequent logic in the same way that Parigot’s λµ calculus co...
208
click to vote
FPL
2004
Springer
16 years 17 days ago
2004
Springer
A high-performance reconfigurable coarse-grain data-path, part of a hybrid reconfigurable platform, is introduced. The data-path consists of coarse grain components that their flex...
179
click to vote
ACSC
2003
IEEE
16 years 14 days ago
2003
IEEE
The ability for multiple threads to enter the same graph node without contention and conflict is a necessary component of the graph reduction of functional languages since graph c...
177
click to vote
ISPDC
2003
IEEE
16 years 13 days ago
2003
IEEE
— This paper presents a new power management technique integrated into a multithreaded microcontroller with builtin real-time scheduling schemes. Power management is done by hard...
136
click to vote
ISCAS
2002
IEEE
16 years 3 days ago
2002
IEEE
This paper presents interleaved buck converters using a switching rule based on winner-take-all nonlinearity. The switching rule can realize flexible phase control and the system...