2433 search results - page 257 / 487 » Power laws in software |
186
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
174
click to vote
CODES
2006
IEEE
16 years 21 days ago
2006
IEEE
Heteregenous multiprocessor SoCs are becoming a reality, largely due to the abundance of transistors, intellectual property cores and powerful design tools. In this project, we ex...
163
click to vote
SEFM
2006
IEEE
16 years 20 days ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
182
click to vote
ANSS
2005
IEEE
16 years 8 days ago
2005
IEEE
Although the grid allows the researcher to tap a vast amount of resources, the complexity involved in utilizing this power can make it unwieldy and time-consuming. The Grid Interf...
179
click to vote
IPPS
2005
IEEE
16 years 7 days ago
2005
IEEE
Embedded designers now have the capability of offloading software routines into custom applicationspecific hardware blocks. This paper evaluates a domain-specific design system fo...