MIT Press / Real-Time Computing Systems / Nokia / Intel / /
Country
Spain / /
Currency
USD / / /
Facility
Complutense University / /
IndustryTerm
parallel/distributed computing / physical processor / given processor / mobile and embedded devices / pervasive systems / valid solution / computing / equation systems / negative solutions / arbitrary solution / representative solution / 400MHz processor / /
OperatingSystem
Ubuntu / SunOS / Linux / Maemo / /
Organization
Parma University / Core Duo / European Union / MIT / Complutense University / /
Person
Hk / High Level Abs / Manuel Hermenegildo / Each Ci / / /
Position
Logic programming General / Asturias Chair in Information Science and Technology / bytecode interpreter / head / linear model for this instruction / calibrator / representative / clause head / editor / Prince / time calibrator / Model / Timing model for the WAM instructions / /