4029 search results - page 425 / 806 » Reconfigurable Systems in Education |
167
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
214
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
188
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract— A power optimal scheduling algorithm that guarantees desired throughput and bounded delay to each user is developed for fading multi-access multi-band channels that can...
208
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
The aim of this paper is to deal with multi-physics simulation of micro-electro-mechanical systems (MEMS) based on an advanced numerical methodology. MEMS are very small devices i...
219
Voted
CORR
2004
Springer
15 years 7 months ago
2004
Springer
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...