16216 search results - page 325 / 3244 » Effective Modeling with Constraints |
192
click to vote
ISSRE
2006
IEEE
16 years 24 days ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
158
click to vote
MICRO
2006
IEEE
16 years 24 days ago
2006
IEEE
To protect processor logic from soft errors, multicore redundant architectures execute two copies of a program on separate cores of a chip multiprocessor (CMP). Maintaining identi...
188
click to vote
DIMVA
2010
15 years 8 months ago
2010
Abstract. Skype is one of the most used P2P applications on the Internet: VoIP calls, instant messaging, SMS and other features are provided at a low cost to millions of users. Alt...
195
Voted
RIAO
1997
15 years 8 months ago
1997
The Web is a vast, dynamic source of information and resources. Because of its size and diversity, it is increasingly likely that if the information one seeks is not already there...
209
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...