Search Results - "Proceedings of the Conference on Design, Automation and Test in Europe"

Proceedings of the conference on Design, Automation and Test in Europe

Authors: SCIUTO, DONATELLA

Subject Terms: INF

File Description: application/pdf

Access URL: https://hdl.handle.net/11311/565103

Proceedings of the conference on Design, automation and test in Europe

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Proceedings of the conference on Design, automation and test in Europe

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Proceedings of the conference on Design, automation and test in Europe

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

The management of energy-aware virtual machine deployment and load balancing using mapping in network-on-chip for cyber-physical systems in cloud computing.

Authors: Mahjoub, Alireza Khalilian, Madjid Mohammadzadeh, Javad

Source: Cluster Computing; Nov2025, Vol. 28 Issue 12, p1-67, 67p

Subject Terms: ENERGY consumption, RESOURCE allocation, LOAD balancing (Computer networks), CYBER physical systems, NETWORKS on a chip, VIRTUAL machine systems, CLOUD computing

Checking Bounded Reachability of Compositional Linear Hybrid Automata Using Interaction Relations.

Authors: Shi, Yuhui Wu, Yuming Bu, Lei et al.

Source: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-26, 26p

Subject Terms: SCALABILITY, SEMANTICS methodology, GRAPH connectivity, MACHINE theory

Low-Power FIR filter pruning using secretary bird optimization for Hardware-Efficient signal processing.

Authors: Theivanathan, G. Murukesh, C.

Source: Analog Integrated Circuits & Signal Processing; Oct2025, Vol. 125 Issue 1, p1-11, 11p

Efficient factorization of DSP transforms using taylor expansion diagrams

Authors: Guillot, Jérémie Boutillon, Emmanuel Ren, Qian et al.

Contributors: Guillot, Jérémie Boutillon, Emmanuel Ren, Qian et al.

Source: Design, Automation, and Test in Europe DATE06 Proceedings of the conference on Design, automation and test in Europe: Proceedings ; https://hal.archives-ouvertes.fr/hal-00087555 ; Design, Automation, and Test in Europe DATE06 Proceedings of the conference on Design, automation and test in Europe: Proceedings, 2006, Munich, Germany. pp.754 - 755

Subject Terms: Factorization, DSP Transforms, Taylor Expansion Diagram, Common sub-expression elimination, J.6 Computer Aided Design, [SPI.OTHER]Engineering Sciences [physics]/Other

Subject Geographic: Munich, Germany

Relation: hal-00087555; https://hal.archives-ouvertes.fr/hal-00087555; https://hal.archives-ouvertes.fr/hal-00087555/document; https://hal.archives-ouvertes.fr/hal-00087555/file/p754-guillot.pdf

Availability: https://hal.archives-ouvertes.fr/hal-00087555
https://hal.archives-ouvertes.fr/hal-00087555/document
https://hal.archives-ouvertes.fr/hal-00087555/file/p754-guillot.pdf

An improved approximate parallel prefix adder for high performance computing applications: a comparative analysis.

Authors: Anagani, Vamsidhar Geethanjali, Kasi Gorantla, Anusha et al.

Source: International Journal of Informatics & Communication Technology (IJ-ICT); Aug2025, Vol. 14 Issue 2, p382-392, 11p

Subject Terms: DIGITAL signal processing, HIGH performance computing, DIGITAL electronics, PARALLEL programming, SUFFIXES & prefixes (Grammar)

A bounded constraint-based approach to aid in fault localization from a counterexample.

Authors: Bekkouche, Mohammed

Source: Innovations in Systems & Software Engineering; Jun2025, Vol. 21 Issue 2, p687-705, 19p

Tag Replication and Status Bits Encoding for Enhancing Cache Metadata Reliability.

Authors: Tabbakh, Abdulaziz Tani, Andrea

Source: Journal of Electrical & Computer Engineering; 5/25/2025, Vol. 2025, p1-10, 10p

Subject Terms: DATA corruption, APPROPRIATE technology, ENCODING, SOFT errors, MEMORY, CACHE memory, METADATA, TAGS (Metadata)

A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving

Authors: Biewer, Alexander Andres, Benjamin Gladigau, Jens et al.

Contributors: Biewer, Alexander Andres, Benjamin Gladigau, Jens et al.

Source: Proceedings of the Conference on Design, Automation and Test in Europe (DATE'15) ; https://inria.hal.science/hal-01187000 ; Proceedings of the Conference on Design, Automation and Test in Europe (DATE'15), 2015, San Jose, United States. pp.357-362

Subject Terms: [INFO]Computer Science [cs], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: San Jose, United States

Availability: https://inria.hal.science/hal-01187000

Dynamic Voltage and Frequency Scaling for Intermittent Computing.

Authors: Maioli, Andrea Quinones, Kevin Alessandro Ahmed, Saad et al.

Source: ACM Transactions on Sensor Networks; Mar2025, Vol. 21 Issue 2, p1-34, 34p

Subject Terms: ENERGY harvesting, ENERGY consumption, CAPACITORS, VOLTAGE, SCARCITY

Implementing Privacy Homomorphism with Random Encoding and Computation Controlled by a Remote Secure Server.

Authors: Hutto, Kevin Mooney, Vincent

Source: ACM Transactions on Embedded Computing Systems; Mar2025, Vol. 24 Issue 2, p1-27, 27p

Subject Terms: CLIENT/SERVER computing, IMAGE sensors, SECURITY systems, TRUST, REMOTE control

A Review of the Monitoring Techniques Used to Detect Oestrus in Sows.

Authors: Glencorse, Dannielle Grupen, Christopher G. Bathgate, Roslyn

Source: Animals (2076-2615); Feb2025, Vol. 15 Issue 3, p331, 23p

Subject Terms: SEXUAL cycle, ESTRUS, BODY temperature, PORK industry, ARTIFICIAL insemination

A high-level simulator for Network-on-Chip.

Authors: Paris, Paulo Cesar Donizeti Pedrino, Emerson Carlos

Source: Integrated Computer-Aided Engineering; 2025, Vol. 32 Issue 1, p55-71, 17p

Subject Terms: ROUTING algorithms, COMPLEMENTARY metal oxide semiconductors, TRAFFIC patterns, ARCHITECTURAL design, ENERGY consumption

SET-SAT: Evaluating the Impact of Cell Area on SET Susceptibility Across Layout of Standard Cells.

Authors: Pietro, Mateus E. Meinhardt, Cristina Schvittz, Rafael B.

Source: Journal of Integrated Circuits & Systems; 2025, Vol. 20 Issue 1, p1-10, 10p

Nonlinear Analyses of Unsymmetrical Locking Range of Injected Cross-Coupled Oscillator.

Authors: Mohammadjany, Armin Hazeri, Ali Reza Miar-Naimi, Hossein

Source: Circuits, Systems & Signal Processing; Dec2024, Vol. 43 Issue 12, p7548-7563, 16p

Subject Terms: CIRCUIT elements, TANGENT function, DIFFERENTIAL equations, INVERSE functions, NONLINEAR analysis

ReadGuard: Integrated SSD Management for Priority-Aware Read Performance Differentiation.

Authors: Chun, Myoungjun Kim, Myungsuk Lee, Dusol et al.

Source: ACM Transactions on Storage; Nov2024, Vol. 20 Issue 4, p1-39, 39p

Subject Terms: FLASH memory, MOBILE apps, SOLID state drives

HT-PGFV: Security-Aware Hardware Trojan Security Property Generation and Formal Security Verification Scheme.

Authors: Qin, Maoyuan Li, Jiale Yan, Jiaqi et al.

Source: Electronics (2079-9292); Nov2024, Vol. 13 Issue 21, p4286, 25p

Subject Terms: HARDWARE Trojans (Computers), INTEGRATED circuit verification, INFORMATION design, LEAKAGE