1209 search results - page 174 / 242 » Universal Algebra and Computer Science |
108
click to vote
ERSA
2006
15 years 3 months ago
2006
Reconfigurable supercomputing (RSC) combines programmable logic chips with high performance microprocessors, all communicating over a high bandwidth, low latency interconnection n...
106
click to vote
FECS
2006
15 years 3 months ago
2006
- In contrast to most of the senior level Artificial Intelligence (AI) courses where AI is taught in the jargon of theoretical computer science with crowd of complex matrix algebra...
128
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order, a natural extension of monoadic second-order logic), and t...
104
click to vote
ENTCS
2007
15 years 2 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
116
click to vote
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents and discusses the syllabus of a second cycle degree on Software Engineering in which any student that finishes any undergraduate Computing degree (Computer Eng...