3104 search results - page 65 / 621 » Competence-Based EE-Learning: (How) Can We Implement It |
135
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Efficient constraint propagation is crucial to any constraint solver. We show that watched literals, already a great success in the satisfiability community, can be used to provide...
125
Voted
EUROPDS
1997
15 years 5 months ago
1997
In this paper, we follow a new path to arrive at the idea of a COMA — a Cache Only Memory Architecture. We show how the evolution of another architecture (ADARC) leads quite nat...
168
click to vote
CSMR
2011
IEEE
14 years 8 months ago
2011
IEEE
—The advent of globalization has led to the adoption of distributed software development as a common practice. One of its drawbacks -the absence of impromptu meetingsis tackled w...
135
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
116
click to vote
HT
1997
ACM
15 years 8 months ago
1997
ACM
Hypermedia documents are most often created with a particular presentation environment in mind. This requires the authoring of one document per presentation platform. As pointed o...