580 search results - page 114 / 116 » Towards a Theory of Conceptual Modelling |
145
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
162
click to vote
IEEEPACT
2008
IEEE
16 years 11 days ago
2008
IEEE
Recently, chip multiprocessors (CMPs) have arisen as the de facto design for modern high-performance processors, with increasing core counts. An important property of CMPs is that...
166
click to vote
OTM
2007
Springer
16 years 3 days ago
2007
Springer
In recent years, existing computing schemes and paradigms have evolved towards more flexible, ad-hoc scalable frameworks. Nowadays, exchanging interactions between entities often ...
164
click to vote
CASES
2006
ACM
15 years 12 months ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...
153
click to vote
GLVLSI
2005
IEEE
15 years 11 months ago
2005
IEEE
We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...