160 search results - page 9 / 32 » Uniform Co-Scheduling Using Object-Oriented Design Technique... |
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
SIGCSE
2005
ACM
15 years 5 months ago
2005
ACM
Courses in Relational Databases largely use a domain-specific design approach different from that used in the rest of the curriculum. Use of the Unified Process, UML, and Design P...
SEKE
2001
Springer
15 years 4 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
HCSE
2010
14 years 10 months ago
2010
Abstract. Interactive spaces with multiple networked devices and interactive surfaces are an effective means to support multi-user collocated collaboration. In these spaces, surfa...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this paper we consider the optimization of transceivers which use the nonlinear vector perturbation technique at the transmitter. Since the perturbation vector can be almost...