262 search results - page 38 / 53 » Hybrid Constraints in Automated Model Synthesis and Model Pr... |
ECMDAFA
2010
Springer
15 years 2 months ago
2010
Springer
OMG’s SPEM – by means of its (semi-)formal notation – allows for a detailed description of development processes and methodologies, but can only be used for a rather coarse d...
DAC
1999
ACM
15 years 1 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
ICPPW
2006
IEEE
15 years 3 months ago
2006
IEEE
In retargeting loop-based code for multimedia instruction set extensions, a critical issue is that vector data types of mixed precision within a loop body complicate the paralleli...
101
click to vote
PVLDB
2010
14 years 8 months ago
2010
Supporting legacy applications when the database schema evolves represents a long-standing challenge of practical and theoretical importance. Recent work has produced algorithms a...
RTCSA
2003
IEEE
15 years 2 months ago
2003
IEEE
Abstract. This paper proposes “Zero-stop Authentication” system, which requires no intentional interactions between users and authentication applications. Our Zero-stop Authent...