2452 search results - page 216 / 491 » On Reduction of Lagrange Systems |
175
click to vote
LPAR
2005
Springer
16 years 1 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...
191
click to vote
FPL
2004
Springer
15 years 12 months 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...
165
click to vote
ACSC
2003
IEEE
15 years 12 months 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...
152
click to vote
ISPDC
2003
IEEE
15 years 11 months 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...
126
click to vote
ISCAS
2002
IEEE
15 years 11 months 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...