A timing-driven design and validation methodology for embedded real-time systems

Saved in:
Bibliographic Details
Published inACM transactions on design automation of electronic systems
Format Journal Article
LanguageEnglish
Published 01.10.1998
Online AccessGet full text
ISSN1557-7309
1084-4309
DOI10.1145/296333.296338

Cover

BookMark eNotz7tOwzAUgGEPZSiFkd0vkGD7xIkzVhU3qVIZYI5Oeo6DJcepklCUt-dSpm_7pf9arNKQWIg7rXKtC3tv6hIA8j_cSqy1tVVWgarX4nUr59CH1GU0hjMnSTyFLklMJM8YA-EchiR7nj8GGuLQLdIPo-S-ZSImOTLG7KfAclqmmfvpRlx5jBPf_rsR748Pb7vnbH94etlt9xmaQrnMk9PWWOs8WjTKgqtrrkgZ4wmAtIMjOOcVQFsZIntUpixKS7bAlpFr2Ij80v1MJ1y-MMbmNIYex6XRqvndbi7bFxx8AxanT9o
CitedBy_id crossref_primary_10_1145_1698759_1698765
crossref_primary_10_1109_92_894152
crossref_primary_10_1145_1529255_1529259
ContentType Journal Article
DBID ADTOC
UNPAY
DOI 10.1145/296333.296338
DatabaseName Unpaywall for CDI: Periodical Content
Unpaywall
Database_xml – sequence: 1
  dbid: UNPAY
  name: Unpaywall
  url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/
  sourceTypes: Open Access Repository
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
ExternalDocumentID 10.1145/296333.296338
GroupedDBID -DZ
-~X
23M
4.4
5GY
5VS
6J9
8US
9M8
AAKMM
AALFJ
AAYFX
ABPPZ
ACGFO
ACM
ADBCU
ADL
ADTOC
AEBYY
AEFXT
AEJOY
AENEX
AENSD
AETEA
AFFNX
AFWIH
AFWXC
AIKLT
AKRVB
ALMA_UNASSIGNED_HOLDINGS
ASPBG
AVWKF
BDXCO
CCLIF
CS3
D0L
EBS
EJD
FEDTE
GUFHI
HF~
HGAVV
H~9
I07
LHSKQ
MVM
NEJ
P1C
P2P
PQQKQ
RNS
ROL
U5U
UNPAY
UPT
XOL
ZCA
ZY4
ID FETCH-LOGICAL-a2408-fd8152558fa5a2053899e7d022fd33d183c388f033b72dd5c026465d54abeae93
IEDL.DBID UNPAY
ISSN 1557-7309
1084-4309
IngestDate Tue Aug 19 18:55:43 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a2408-fd8152558fa5a2053899e7d022fd33d183c388f033b72dd5c026465d54abeae93
OpenAccessLink https://proxy.k.utb.cz/login?url=https://dl.acm.org/doi/pdf/10.1145/296333.296338
ParticipantIDs unpaywall_primary_10_1145_296333_296338
PublicationCentury 1900
PublicationDate 19981001
PublicationDateYYYYMMDD 1998-10-01
PublicationDate_xml – month: 10
  year: 1998
  text: 19981001
  day: 01
PublicationDecade 1990
PublicationTitle ACM transactions on design automation of electronic systems
PublicationYear 1998
Score 1.5653098
SourceID unpaywall
SourceType Open Access Repository
Title A timing-driven design and validation methodology for embedded real-time systems
URI https://dl.acm.org/doi/pdf/10.1145/296333.296338
UnpaywallVersion publishedVersion
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dS8MwED_m9qB78Fv8Jg-CT5lb07Tp4xDHEBwTHMynkfYSEbs6ZofoX--16WTsSV-alzaE613uLrn7_QCuEEWsQ5FQWhIp7gedhEdaIT0odzaeDawumpMfBkF_5N-P5bgG7WUvDKY0z7S8wi9seoa2ArSVNx7pihCtclAb0AgkRd91aIwGw-6zq6P3uS_Kqg7ykiEn5Y2WsJrr3zdhc5HN9NenTtMVh9LbgcflUlwdyVtrkcet5HsNpfE_a92F7Sq6ZF2nDntQM9k-NFcwBw9g2GV5weT1wnFe7HQMyxoOpjNkpHWvjmOJOWbp8sydUVzLzDQ2tEchoyAz5QUjPXMg0B-HMOrdPd32eUWrwHWBZ8YtqoL0SCqrpfbICCnlMiGSM7coBJKNJ0Ip2xYiDj1EmVCa5gcSpa9jo00kjqCevWfmGBjGJHSyaEk_1adURSVK6oLkT0SmY6w4getfKU9mDj5j4lqh5cTJyA3q9M9vnsFW2RdYFtSdQz2fL8wFBQZ5fFnpwg-blq-R
linkProvider Unpaywall
linkToUnpaywall http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dS8MwED_m9qB78Fv8Jg-CT5lb07Tp4xDHEBwTHMynkfYSEbs6ZofoX--16WTsSV-alzaE613uLrn7_QCuEEWsQ5FQWhIp7gedhEdaIT0odzaeDawumpMfBkF_5N-P5bgG7WUvDKY0z7S8wi9seoa2ArSVNx7pihCtclAb0AgkRd91aIwGw-6zq6P3uS_Kqg7ykiEn5Y2WsJrr3zdhc5HN9NenTtMVh9LbgcflUlwdyVtrkcet5HsNpfE_a92F7Sq6ZF2nDntQM9k-NFcwBw9g2GV5weT1wnFe7HQMyxoOpjNkpHWvjmOJOWbp8sydUVzLzDQ2tEchoyAz5QUjPXMg0B-HMOrdPd32eUWrwHWBZ8YtqoL0SCqrpfbICCnlMiGSM7coBJKNJ0Ip2xYiDj1EmVCa5gcSpa9jo00kjqCevWfmGBjGJHSyaEk_1adURSVK6oLkT0SmY6w4getfKU9mDj5j4lqh5cTJyA3q9M9vnsFW2RdYFtSdQz2fL8wFBQZ5fFnpwg-blq-R
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+timing-driven+design+and+validation+methodology+for+embedded+real-time+systems&rft.jtitle=ACM+transactions+on+design+automation+of+electronic+systems&rft.date=1998-10-01&rft.issn=1557-7309&rft_id=info:doi/10.1145%2F296333.296338&rft.externalDocID=10.1145%2F296333.296338
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1557-7309&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1557-7309&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1557-7309&client=summon