|
MaLT
|
|
Memory and logic testing, automatic test pattern generation
|
|
|
|
|
Speculative research, Nano computing, Chaotic Computational System, Threshold logic, Communicating Migrating Processes
|
|
|
Arachne
|
|
Network Processors, Internet Processing, distributed processing, ubiquitous and unobtrusive communication environments, Switches
|
|
|
|
|
Logic Design, Digital Design, Computer Arithmetic, Computer Implementations, VLSI Design
|
|
|
Δ-iliad
|
|
Computer architecture, microarchitectures, ILP superscalar and VLIW implementations, computer design, computer arithmetic, polymorphic processing, vector processing, parallel processing
|
|
|
GRAPPA
|
|
(GRid Advanced Programming Paradigms and Architectures)
Grid computing, grid software, agents, parallel and distributed computing, scheduling on the grid, grid resource and task allocation, data acquisition and processing, peer to peer software systems, autonomous agents, service oriented computing, training intelligent agents, minimal software agents.
|
|
|
VYZAS
|
|
Architecture design and implementation of embedded system's (ES) software and hardware, ES CAD design, simulation, formal verification and testing. The scope of the research ranges from very tiny computing systems up to networked high performance processors.
|